add_executable(pong.elf pong.c)
target_link_libraries(pong.elf microkit)